Refining Nodes and Edges of State Machines

State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement. We compare the two notions by means of examples and argue that, by adopting simple conventions, they can be combined into one method of refinement. In the combined method, node refinement can be used to develop architectural aspects of a model and edge refinement to develop algorithmic aspects. The two notions of refinement are grounded in previous work. Event-B is used as the foundation for our refinement theory and UML-B state machine refinement influences the style of node refinement. Hence we propose a method with direct proof of state machine refinement avoiding the detour via Event-B that is needed by UML-B

Search for jet extinction in the inclusive jet-pT spectrum from proton-proton collisions at s=8 TeV

Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distribution of this work must maintain attribution to the author(s) and the published articles title, journal citation, and DOI.The first search at the LHC for the extinction of QCD jet production is presented, using data collected with the CMS detector corresponding to an integrated luminosity of 10.7  fb−1 of proton-proton collisions at a center-of-mass energy of 8 TeV. The extinction model studied in this analysis is motivated by the search for signatures of strong gravity at the TeV scale (terascale gravity) and assumes the existence of string couplings in the strong-coupling limit. In this limit, the string model predicts the suppression of all high-transverse-momentum standard model processes, including jet production, beyond a certain energy scale. To test this prediction, the measured transverse-momentum spectrum is compared to the theoretical prediction of the standard model. No significant deficit of events is found at high transverse momentum. A 95% confidence level lower limit of 3.3 TeV is set on the extinction mass scale

Search for the associated production of the Higgs boson with a top-quark pair

A search for the standard model Higgs boson produced in association with a top-quark pair t t ¯ H (tt¯H) is presented, using data samples corresponding to integrated luminosities of up to 5.1 fb −1 and 19.7 fb −1 collected in pp collisions at center-of-mass energies of 7 TeV and 8 TeV respectively. The search is based on the following signatures of the Higgs boson decay: H → hadrons, H → photons, and H → leptons. The results are characterized by an observed t t ¯ H tt¯H signal strength relative to the standard model cross section, μ = σ/σ SM ,under the assumption that the Higgs boson decays as expected in the standard model. The best fit value is μ = 2.8 ± 1.0 for a Higgs boson mass of 125.6 GeV

Measurement of prompt Jψ\psi pair production in pp collisions at \sqrt s = 7 Tev

Production of prompt J/ ψ meson pairs in proton-proton collisions at s s√ = 7 TeV is measured with the CMS experiment at the LHC in a data sample corresponding to an integrated luminosity of about 4.7 fb −1 . The two J/ ψ mesons are fully reconstructed via their decays into μ + μ − pairs. This observation provides for the first time access to the high-transverse-momentum region of J/ ψ pair production where model predictions are not yet established. The total and differential cross sections are measured in a phase space defined by the individual J/ ψ transverse momentum ( p T J/ ψ ) and rapidity (| y J/ ψ |): | y J/ ψ | 6.5 GeV/ c ; 1.2 4.5 GeV/ c . The total cross section, assuming unpolarized prompt J/ ψ pair production is 1.49 ± 0.07 (stat) ±0.13 (syst) nb. Different assumptions about the J/ ψ polarization imply modifications to the cross section ranging from −31% to +27%

Measurements of the t(t)Overbar charge asymmetry using the dilepton decay channel in pp collisions at root s=7 TeV

The tt¯ charge asymmetry in proton-proton collisions at s√ = 7 TeV is measured using the dilepton decay channel (ee, e μ , or μμ ). The data correspond to a total integrated luminosity of 5.0 fb −1 , collected by the CMS experiment at the LHC. The tt and lepton charge asymmetries, defined as the differences in absolute values of the rapidities between the reconstructed top quarks and antiquarks and of the pseudorapidities between the positive and negative leptons, respectively, are measured to be A C = −0 . 010 ± 0 . 017 (stat . ) ± 0 . 008 (syst . ) and AlepC = 0 . 009 ± 0 . 010 (stat . ) ± 0 . 006 (syst . ). The lepton charge asymmetry is also measured as a function of the invariant mass, rapidity, and transverse momentum of the tt¯ system. All measurements are consistent with the expectations of the standard model

Searches for electroweak neutralino and chargino production in channels with Higgs, Z, and W bosons in pp collisions at 8 TeV

Searches for supersymmetry (SUSY) are presented based on the electroweak pair production of neutralinos and charginos, leading to decay channels with Higgs, Z, and W bosons and undetected lightest SUSY particles (LSPs). The data sample corresponds to an integrated luminosity of about 19.5 fb(-1) of proton-proton collisions at a center-of-mass energy of 8 TeV collected in 2012 with the CMS detector at the LHC. The main emphasis is neutralino pair production in which each neutralino decays either to a Higgs boson (h) and an LSP or to a Z boson and an LSP, leading to hh, hZ, and ZZ states with missing transverse energy (E-T(miss)). A second aspect is chargino-neutralino pair production, leading to hW states with E-T(miss). The decays of a Higgs boson to a bottom-quark pair, to a photon pair, and to final states with leptons are considered in conjunction with hadronic and leptonic decay modes of the Z and W bosons. No evidence is found for supersymmetric particles, and 95% confidence level upper limits are evaluated for the respective pair production cross sections and for neutralino and chargino mass values

Antiamoebin can function as a carrier or as a pore-forming peptaibol

AbstractAntiamoebin is a 16-residue polypeptide whose crystal structure and lytic activity in membrane vesicles have recently been reported. It is a bent helical molecule and a member of the peptaibol family of antibiotics. Under conditions which produce voltage-dependent conductance activity by other members of the family, no single-channel conductance was detected for antiamoebin, and a carrier-like mechanism was put forward to account for its mode of action. We now present evidence for pore formation that is largely voltage-insensitive, with large amplitude single-channel events on top of a background conductance that may account for the previously proposed carrier-like activity. Thus, antiamoebin may be the first instance of a peptide which can function both as an ion carrier and a pore former